Combining Texts

All the ideas for 'fragments/reports', 'fragments/reports' and 'Principles of Theoretical Logic'

expand these ideas     |    start again     |     specify just one area for these texts

---

6 ideas

4. Formal Logic / C. Predicate Calculus PC / 1. Predicate Calculus PC

17750

The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki]

6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry

13007

Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz]

23. Ethics / C. Virtue Theory / 1. Virtue Theory / a. Nature of virtue

6012	We must choose in which of the virtues we wish to excel [Panaetius]

23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / b. Living naturally

6013	Panaetius said we should live according to our natural starting-points [Panaetius, by Asmis]

23. Ethics / C. Virtue Theory / 3. Virtues / d. Courage

6014	Panaetius identified courage with great-mindedness, preferring civic courage to military [Panaetius, by Asmis]

29. Religion / D. Religious Issues / 2. Immortality / a. Immortality

5888	Souls are born, since they are sensitive and inherited, so they must perish [Panaetius, by Cicero]